#include <stdint.h>


int main(void)
{
	while(1);
}	

